[IA64] translate_domain_pte must handle ED bit and ignre bit[63:53]
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 21 Apr 2006 15:20:13 +0000 (09:20 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 21 Apr 2006 15:20:13 +0000 (09:20 -0600)
commitbd546a62aca4e37eaabb5eb7f4614a574b781f64
tree53f7e2e171753c1f277ea3b5e2320b5e394f24a9
parentc314ec5a2fd2b31038328048085e65910f22c522
[IA64] translate_domain_pte must handle ED bit and ignre bit[63:53]

made translate_domain_pte() aware _PAGE_ED bits.
_PAGE_PPN_MASK doesn't mask ED bit.
ED bit must be handled explicitly.
This case can occur by vcpu_itc_d().

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/xen/process.c